Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
321	Update TRENDS in Cognitive Sciences low-level perception and high-level phenomena of stereotyping and prejudice that affect society as a whole. References Add to Reading List Source URL: cognitrn.psych.indiana.edu Language: English - Date: 2013-11-19 12:03:42 Ethology Logic Knowledge representation Grammar Social philosophy Conceptual system Cognitive science Conceptual model Semantic network Meaning Semantics Science
322	Under consideration for publication in Math. Struct. in Comp. Science A Step-Indexed Kripke Model of Hidden State Jan Schwinghammer (Saarland University, Saarbr¨ ucken) Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-01-05 06:52:11 Model theory Modal logic Denotational semantics Logic in computer science Kripke semantics Structure Natural deduction Orbifold Logic Mathematical logic Mathematics
323	The Role and Meaning of Predicative and Non-predicative Definitions in the Search for Information. Ilya S Geller LexiClone Inc. Borrowings and Adaptations. First of all, the author would like to clarify the meanings of t Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2004-02-12 14:07:15 Grammar Semantics German idealism Lexicography Predicate Mathematical logic Predicative Noun Adjective Linguistics Philosophy Parts of speech
324	BRICS Basic Research in Computer Science BRICS DS-01-6 B. Grobauer: Topics in Semantics-based Program Manipulation Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-09-24 07:35:52 Logic in computer science Evaluation strategy Incremental computing Partial evaluation Models of computation Denotational semantics Olivier Danvy BRIC Monad Software engineering Computing Programming language theory
325	Symbolic Interpretation of Legacy Assembly Language Jacques Carette, Pulak Kumar Chowdhury Dept. of Computing and Software McMaster University Hamilton, Ontario L8S 4K1 Abstract Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2005-11-14 17:37:09 Models of computation Logic in computer science Programming language semantics Compiler construction Programming language implementation Data-flow analysis Denotational semantics Assembly language Control flow graph Theoretical computer science Computing Software engineering
326	Reasoning About the Beliefs of Agents in Multi-Agent Domains in the Presence of State Constraints: The Action Language mAL Chitta Baral1 , Gregory Gelfond1 , Enrico Pontelli2 , and Tran Cao Son2 1 Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:07:58 Modal logic Model theory Symbol Kripke semantics Epistemic modal logic Interpretation Dynamical system Logic Mathematical logic Philosophical logic
327	A Declarative View of Inheritance in Logic Programming M. Bugliesi Dipartimento di Matematica Pura ed Applicata Via Belzoni 7, Padova – ITALY Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:12:30 Deduction Philosophy of language Model theory Natural deduction Modal logic Sheaf Interpretation Entailment Formal semantics Logic Philosophical logic Semantics
328	CerclesPHRASING / REPHRASING THE CHOICE OF LEXICAL INFORMATION IN ANAPHORIC DEFINITE DESCRIPTIONS Add to Reading List Source URL: www.cercles.com Language: English - Date: 2013-05-31 06:51:05 Semantics Pragmatics Anaphora Semiotics Philosophical logic Antecedent Logic Reference Singular they Linguistics Syntax Philosophy of language
329	Event Structures, Stable Families and Concurrent Games Notes for “Distributed Games and Strategies” ACS2015 Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2015-02-19 08:49:32 Computer science Applied mathematics Concurrency Denotational semantics Concurrent computing Actor model Game semantics Determinacy Petri net Theoretical computer science Logic in computer science Models of computation
330	Independence and Concurrent Separation Logic Jonathan Hayman and Glynn Winskel Computer Laboratory, University of Cambridge Abstract A compositional Petri net based semantics is given to a simple pointer-manipulating lan Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-05-30 05:29:39 Petri net Models of computation Symbol Model theory

UPDATE